Перевод: с русского на все языки

со всех языков на русский

first-order term

См. также в других словарях:

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • First-order elections — The term first order elections is used by political scientists to the relative importance of certain elections. First order elections are those that are the most important in a nation. In most democracies these are the national parliamentary… …   Wikipedia

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • Order of Friars Minor —     Order of Friars Minor     † Catholic Encyclopedia ► Order of Friars Minor     (Also known as FRANCISCANS.) This subject may be conveniently considered under the following heads:     I. General History of the Order;     A. First Period (1209… …   Catholic encyclopedia

  • Order of the Phoenix (organisation) — Order of the Phoenix Harry Potter association Some Order of the Phoenix members in the Harry Potter and the Order of the Phoenix film adaptation, from left to right: Alastor Moody, Nymphadora Tonks, Sirius Black, Remus Lupin, and Albus Dumbledore …   Wikipedia

  • Order of Friars Minor Conventuals —     Order of Friars Minor Conventuals     † Catholic Encyclopedia ► Order of Friars Minor Conventuals     This is one of the three separate bodies, forming with the Friars Minor and the Capuchins what is commonly called the First Order of St.… …   Catholic encyclopedia

  • First Council of Constantinople — For the church council of Constantinople in 359, see First Council of Constantinople (360). 9th century Byzantine manuscript illumination of I Constantinople Homilies of Gregory Nazianzus, 879 882 …   Wikipedia

  • Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… …   Wikipedia

  • Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… …   Wikipedia

  • Order of reaction — In chemical kinetics, the order of reaction with respect to certain reactant, is defined as the power to which its concentration term in the rate equation is raised [1]. For example, given a chemical reaction 2A + B → C with a rate equation r =… …   Wikipedia

  • Term (mathematics) — The word term is from the Latin terminus boundary line, limit , from the Indo European root ter peg, post, boundary .In elementary mathematics, a term is either a single number or variable, or the product of several numbers and/or variables… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»